Signed-off-by: Jun Nakajima <jun.nakajima@intel.com>
Signed-off-by: Xin B Li <xin.b.li@intel.com>
perfc_incrc(resync_l1);
perfc_incr_histo(wpt_updates, changed, PT_UPDATES);
perfc_incr_histo(l1_entries_checked, max_shadow - min_shadow + 1, PT_UPDATES);
- if (unshadow_l1) {
+ if ( d->arch.ops->guest_paging_levels == PAGING_L4 &&
+ unshadow_l1 ) {
pgentry_64_t l2e;
__shadow_get_l2e(entry->v, entry->va, &l2e);
nl1e = l1e;
l1e_remove_flags(nl1e, _PAGE_GLOBAL);
- if ( unlikely(l1e_get_flags(l1e) & L1_DISALLOW_MASK) )
+ if ( unlikely(l1e_get_flags(nl1e) & L1_DISALLOW_MASK) )
return 0;
res = get_page_from_l1e(nl1e, d);